∀A∈2^X(A⊆A̅)